61. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
62. Information and Software Technologies
پدیدآورنده : \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
63. Information, communication and computing technology : second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised selected papers
پدیدآورنده : Kaushik, Saroj
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer networks -- Congresses,، Artificial intelligence -- Congresses,، Software engineering -- Congresses.
رده :
TK
5101
.
K47
2017
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
64. Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
پدیدآورنده : \ Edited by Tarek Sobh
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer engineering -- Congresses.,Software engineering -- Congresses,مهندسی کامپیوتر -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
65. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
66. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
67. Intelligent information systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : aided software engineering ; Congresses. ; -Computer
![](/design/images/bookmore.png)
68. Knowledge Engineering and Management
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence -- Engineering applications -- Congresses,Intelligent agents (Computer software) -- Congresses,Systems engineering -- Congresses,هوش مصنوعی -- کاربردهای مهندسی -- کنگرهها,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگرهها,مهندسی سیستم ها -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
69. Knowledge and systems engineering :Proceedings of the Fifth International Conference KSE 2013, volume 1
پدیدآورنده : Huynh, Van-Nam
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Expert systems )Computer science( -- Congresses,، Software engineering -- Congresses,، Systems engineering -- Congresses
رده :
T
58
.
5
.
K56719
2014
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
70. Knowledge-based software engineering
پدیدآورنده : / edited by T. Hruska and M. Mashimoto
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Software engineering- Congresses,Expert systems (Computer science)- Congresses
رده :
QA76
.
758
.
K655
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
71. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
72. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
73. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
پدیدآورنده : edited by Pavol Navrat and Haruki Ueno
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
74. Knowledge engineering and management proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 )ISKE 2012(
پدیدآورنده : Fuchun Sun, Tianrui Li, Hongbo Li, editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، Artificial intelligence - Engineering applications,Congresses ، Intelligent agents )Computer software(,Congresses ، Systems engineering
رده :
Q334
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
75. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها ,معماری نرمافزار -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
76. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
77. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
78. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: (Library of Islamic Studies For Women and Family (Tehran (Tehran)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
80. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)